* doc/misc/url.texi (Disk Caching): Tweak previous change.
authorGlenn Morris <rgm@gnu.org>
Fri, 24 Sep 2010 02:38:11 +0000 (19:38 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 24 Sep 2010 02:38:11 +0000 (19:38 -0700)
commitf83265c7626b7d80d2a517f32e5fb44f14b38f3c
treef598f95a622088ddce5ebf6a50ea9916dedaf413
parent58e4c20c459608e689fc2acf01fe2e310beeb37b
* doc/misc/url.texi (Disk Caching): Tweak previous change.
doc/misc/ChangeLog
doc/misc/url.texi